The default for the DPI setting is 0, but 0 * any scaling factor
is 0, so we need to deal with that, by falling back to X default.
https://bugzilla.gnome.org/show_bug.cgi?id=639762
return (user_value - (DPI_FACTOR_LARGE * x_value) > -1);
}
let initial_setting = on_get();
- let default_value = initial_setting ? x_value : user_value;
+ let default_value = (initial_setting || user_value == 0) ? x_value : user_value;
let widget = this._buildItemExtended(_("Large Text"),
initial_setting,
settings.is_writable(KEY_DPI),
});
settings.connect('changed::' + KEY_DPI, function() {
let active = on_get();
- default_value = active ? x_value : user_value;
+ default_value = (active || user_value == 0) ? x_value : user_value;
widget.setToggleState(active);
});
return widget;